/**
* Copyright (c) 2005-2011 by Appcelerator, Inc. All Rights Reserved.
* Licensed under the terms of the Eclipse Public License (EPL).
* Please see the license.txt included with this distribution for details.
* Any modifications to this file must keep this entire header intact.
*/
package org.python.pydev.ui;
import org.eclipse.jface.action.IMenuManager;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.util.IPropertyChangeListener;
import org.eclipse.jface.util.PropertyChangeEvent;
import org.eclipse.swt.events.ControlEvent;
import org.eclipse.swt.events.ControlListener;
import org.eclipse.swt.graphics.Point;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.ui.part.ViewPart;
import org.python.pydev.core.callbacks.CallbackWithListeners;
import org.python.pydev.core.callbacks.ICallbackWithListeners;
import org.python.pydev.plugin.PydevPlugin;
import org.python.pydev.plugin.preferences.PydevPrefs;
public abstract class ViewPartWithOrientation extends ViewPart implements IPropertyChangeListener {
protected Composite fParent;
protected int fCurrentOrientation;
private int orientationPreference;
protected ViewPartWithOrientation() {
String orientationPreferencesKey = getOrientationPreferencesKey();
if (PydevPlugin.getDefault() != null) {
IPreferenceStore preferenceStore = PydevPrefs.getPreferenceStore();
orientationPreference = preferenceStore.getInt(orientationPreferencesKey);
PydevPrefs.getPreferenceStore().addPropertyChangeListener(this);
}
}
/*default*/static final int PREFERENCES_VIEW_ORIENTATION_AUTOMATIC = 0;
/*default*/static final int PREFERENCES_VIEW_ORIENTATION_HORIZONTAL = 1;
/*default*/static final int PREFERENCES_VIEW_ORIENTATION_VERTICAL = 2;
//Subclasses will be passed these constants!
public static final int VIEW_ORIENTATION_HORIZONTAL = 1;
public static final int VIEW_ORIENTATION_VERTICAL = 2;
@SuppressWarnings("rawtypes")
public final ICallbackWithListeners onControlCreated = new CallbackWithListeners();
@SuppressWarnings("rawtypes")
public final ICallbackWithListeners onControlDisposed = new CallbackWithListeners();
public void createPartControl(Composite parent) {
fParent = parent;
addResizeListener(parent);
}
public abstract String getOrientationPreferencesKey();
/*default*/int getOrientationPreferenceValue() {
return orientationPreference;
}
protected void addOrientationPreferences(IMenuManager menuManager) {
menuManager.add(new SetOrientationAction(this));
}
protected void updateOrientation() {
switch (orientationPreference) {
case PREFERENCES_VIEW_ORIENTATION_HORIZONTAL:
setNewOrientation(VIEW_ORIENTATION_HORIZONTAL);
break;
case PREFERENCES_VIEW_ORIENTATION_VERTICAL:
setNewOrientation(VIEW_ORIENTATION_VERTICAL);
break;
default:
//automatic
Point size = fParent.getSize();
if (size.x != 0 && size.y != 0) {
if (size.x > size.y) {
setNewOrientation(VIEW_ORIENTATION_HORIZONTAL);
} else {
setNewOrientation(VIEW_ORIENTATION_VERTICAL);
}
}
}
}
private void addResizeListener(Composite parent) {
parent.addControlListener(new ControlListener() {
public void controlMoved(ControlEvent e) {
}
public void controlResized(ControlEvent e) {
updateOrientation();
}
});
}
protected abstract void setNewOrientation(int orientation);
@Override
public void dispose() {
PydevPrefs.getPreferenceStore().removePropertyChangeListener(this);
super.dispose();
}
/* (non-Javadoc)
* @see org.eclipse.jface.util.IPropertyChangeListener#propertyChange(org.eclipse.jface.util.PropertyChangeEvent)
*/
public void propertyChange(PropertyChangeEvent event) {
if (event.getProperty().equals(this.getOrientationPreferencesKey())) {
orientationPreference = (Integer) event.getNewValue();
updateOrientation();
}
}
}